Formal Specification - A Comparison of Two Techniques
نویسندگان
چکیده
منابع مشابه
comparison of the amount of debris extruded apically in two rotary techniques: flexmaster and m2
چکیده ندارد.
15 صفحه اولSemi-Formal and Formal Specification Techniques for Software Systems
s in order of presentations at Dagstuhl seminar: Hartmut Ehrig Towards a Formal Model and a Component Concept for the Integration Paradigm . . . . . . . . . . . . . . . . . 1 Martin Große-Rhode Integration of Heterogeneous Software Specifications based on Transformation Systems . . . . . . . . . . . 1 Stefan Gruner A New Tool for the Simulation And Visualization of Distributed Algorithms . . . ...
متن کاملA success story of formal description techniques: Estelle specification
This paper presents a success story of specifying a complex real-life protocol (MIL-STD 188-220) in Estelle and generating test sequences from the formal specification. 188-220 is being developed in the US Army, Navy and Marine Corps systems for mobile combat network radios. A key factor in this success story has been the collaboration among the researchers of the University of Delaware and the...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملa comparison of linguistic and pragmatic knowledge: a case of iranian learners of english
در این تحقیق دانش زبانشناسی و کاربردشناسی زبان آموزان ایرانی در سطح بالای متوسط مقایسه شد. 50 دانش آموز با سابقه آموزشی مشابه از شش آموزشگاه زبان مختلف در دو آزمون دانش زبانشناسی و آزمون دانش گفتار شناسی زبان انگلیسی شرکت کردند که سوالات هر دو تست توسط محقق تهیه شده بود. همچنین در این تحقیق کارایی کتابهای آموزشی زبان در فراهم آوردن درون داد کافی برای زبان آموزان ایرانی به عنوان هدف جانبی تحقیق ...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1987
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/30.4.316